Introduction to the Configware Minitrack: Hardware and Software Come Closer

نویسنده

  • Reiner W. Hartenstein
چکیده

Hardware design methods come closer to software engineering. Proven techniques are further ahead than common awareness of them. Behavioral Synthesis means hardware compilation rather than CAD: Hardware compilation from register-transfer level sources or even from high-level programs like C sources. The programmer “programs” by himself the hardware he needs. This has become reality by novel dynamically reconfigurable hardware platforms (see papers by Becker/Schmidt, Eisenring/Teich). The paper by Postula et al. shows, that such “programming the hardware” is much more efficient than classical hardware design and even High-level Synthesis. The papers of this minitrack introduce methods to use such platforms for “programming” the hardware, as well as related application development tools (see paper by Gardner et al.). Dramatic speedups have been obtained by software migration onto such platforms (also see paper by Suyama et al.). From “classical” compilation techniques, including parallelizing compilation, a rich methodology is available for adaptation to the hardware compilation problem and

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Introduction to the Configware Minitrack From glue logic synthesis to reconfigurable computing systems

While reconfigurable computing was rather unknown several years ago, more recent projects have been established dealing with new directions of this topic. In fact, for particular application areas reconfigurable hardware has already proven to achieve a performance, which is superior to that of conventional processor solutions. Application development proceeds in moving out of its logic-design-o...

متن کامل

On Implementing a Configware/Software SAT Solver

This paper presents an implementation of the configware/software SAT solver proposed in FCCM'O1 [11. This is the first actually implemented hardware accelerated solver that can dispense with instance-specific compilation, and is capable of handling SAT formulas of virtually any size.

متن کامل

Introduction to Emergency Response Systems Minitrack

In its third year, this minitrack deals with any aspect of the analysis, design, development, deployment, operation, or evaluation of emergency response systems (ERS). In particular, the minitrack seeks to encourage research on three areas that are pertinent to ERS: (i) tools, functionality, and/or interface the system that provide to human users involved with emergency and crisis response; (ii...

متن کامل

Solving SAT with a Context-Switching Virtual Clause Pipeline and an FPGA Embedded Processor

This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling between configware and software. The virtual circuit is an arbitrarily large clause pipeline, partitioned into sections of a number of stages (hardware pages), which can fit in the configware. The hardware performs logical implicati...

متن کامل

Introduction to the Internet and Process Reengineering Minitrack

The objective of this minitrack is to provide a forum for researchers to exchange and disseminate ideas in the area of process technologies and reengineering, particularly on the use of the Internet technology. The focus of the minitrack is on bringing together research papers that explore issues related to the development, deployment, and management of information technologies for improving th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998